Robust preconditioning methods for algebraic problems, arising in multi- phase flow models

The aim of the project is to construct, analyse and implement fast and reliable numerical solution methods to simulate multi-phase flow, modeled by a coupled system consisting of the time-dependent Cahn-Hilliard and incompressible Navier-Stokes equations with variable viscosity and variable density. This thesis mainly discusses the efficient solution methods for the latter equations aiming at constructing preconditioners, which are numerically and computationally efficient, and robust with respect to various problem, discretization and method parameters. In this work we start by considering the stationary Navier-Stokes problem with constant viscosity. The system matrix arising from the finite element discretization of the linearized Navier-Stokes problem is nonsymmetric of saddle point form, and solving systems with it is the inner kernel of the simulations of numerous physical processes, modeled by the Navier-Stokes equations. Aiming at reducing the simulation time, in this thesis we consider iterative solution methods with efficient preconditioners. When discretized with the finite element method, both the Cahn-Hilliard equations and the stationary Navier-Stokes equations with constant viscosity give raise to linear algebraic systems with nonsymmetric matrices of two-by-two block form. In Paper I we study both problems and apply a common general framework to construct a preconditioner, based on the matrix structure. As a part of the general framework, we use the so-called element-by-element Schur complement approximation. The implementation of this approximation is rather cheap. However, the numerical experiments, provided in the paper, show that the preconditioner is not fully robust with respect to the problem and discretization parameters, in this case the viscosity and the mesh size. On the other hand, for not very convection-dominated flows, i.e., when the viscosity is not very small, this approximation does not depend on the mesh size and works efficiently. Considering the stationary NavierStokes equations with constant viscosity, aiming at finding a preconditioner which is fully robust to the problem and discretization parameters, in Paper II we turn to the so-called augmented Lagrangian (AL) approach, where the linear system is transformed into an equivalent one and then the transformed system is iteratively solved with the AL type preconditioner. The analysis in Paper II focuses on two issues, (1) the influence of a scalar method pa-